Elasticity for Engineers

Handbook for Language Engineers

Random Processes for Engineers

Lambda Calculus for Engineers

In pure functional programming it is awkward to use a stateful sub-computation in a predominantly stateless computation. The problem is that the state of the subcomputation has to be passed around using ugly plumbing. Classical examples of the plumbing problem are: providing a supply of fresh names, and providing a supply of random numbers. We propose to use (deterministic) inductive definition...

XML for Software Engineers

Are software engineers true engineers?

Are software engineers engineers? Or more exactly: Can software engineers legitimately be called engineers? This is an ambiguous question. Its interpretation depends on the situation in which it is asked. It might be asked in a situation in which practice-oriented engineering disciplines have more chances to be sponsored publicly: In this case it would be the question if software engineering sh...